In geometry, an Ammann–Beenker tiling is a nonperiodic tiling generated by an aperiodic set of prototiles named after Robert Ammann, who first discovered the tilings in the 1970s, and after F. P. M. Beenker who discovered them independently and showed how to obtain them by the cut-and-project method. Because all tilings obtained with the tiles are non-periodic, Ammann–Beenker tilings are considered aperiodic tilings. They are one of the five sets of tilings discovered by Ammann and described in Tilings and Patterns[1].
The Ammann–Beenker tilings have many properties similar to the more famous Penrose tilings, most notably:
Various methods to construct the tilings have been proposed: matching rules, substitutions, cut and project schemes [2] and coverings[3][4]. In 1987 Wang, Chen and Kuo announced the discovery of a quasicrystal with octagonal symmetry [5].
Contents |
The most common choice of tileset to produce the Ammann–Beenker tilings includes a rhombus with 45- and 135-degree angles (these rhombi are shown in white in the diagram at the top of the page) and a square (shown in red in the diagram above). The square may alternatively be divided into a pair of isosceles right triangles. (This is also done in the above diagram.) The matching rules or substitution relations for the square/triangle do not respect all of its symmetries, however.
In fact, the matching rules for the tiles do not even respect the reflectional symmetries preserved by the substitution rules.
This is the substitution rule for the usual tileset.
An alternate set of tiles, also discovered by Ammann, and labelled "Ammann 4" in Grünbaum and Shephard[1], consists of two nonconvex right-angle-edged pieces. One consists of two squares overlapping on a smaller square, while the other consists of a large square attached to a smaller square. The diagrams below show the pieces and a portion of the tilings.
This is the substitution rule for the alternate tileset.
The relationship between the two tilesets.
In addition to the edge arrows in the usual tileset, the matching rules for both tilesets can be expressed by drawing pieces of large arrows at the vertices, and requiring them to piece together into full arrows.
Katz[6] has studied the additional tilings allowed by dropping the vertex constraints and imposing only the requirement that the edge arrows match.
The Ammann–Beenker tilings are closely related to the silver ratio () and the Pell numbers.
The Ammann bars for the usual tileset. If the bold outer lines are taken to have length , the bars split the edges into segments of length and .
The Ammann bars for the alternate tileset. Note that the bars for the asymmetric tile extend partly outside it.
The hypercubic lattice has an eightfold rotational symmetry, corresponding to an eightfold rotational symmetry of the hypercube. A rotation matrix representing this symmetry is:
Transforming this matrix to the new coordinates given by
This third matrix then corresponds to a rotation both by 45° (in the first two dimensions) and by 135° (in the last two). We can then obtain an Ammann–Beenker tiling by projecting a slab of hypercubes along either the first two or the last two of the new coordinates.
Alternatively, an Ammann-Beenker tiling can be obtained by drawing rhombs and squares around the intersection points of pair of equal-scale square lattices overlaid at a 45-degree angle. These two techniques were developed by Beenker in his paper.